Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
781	Strategies for Feedback in Functional Programming Exercises Add to Reading List Source URL: portal.ou.nl Language: English Programming paradigms Haskell Literate programming B Generic programming FP Functional programming Software engineering Computing Programming language theory
782	Camlidl user’s manual Version 1.02 Xavier Leroy INRIA Rocquencourt July 30, 2001 Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2001-07-30 11:37:08 C programming language Data types C++ Procedural programming languages Functional languages Typedef Pointer C Struct Software engineering Computing Computer programming
783	BRICS Basic Research in Computer Science BRICS RSKim et al.: Assessing the Overhead of ML Exceptions Assessing the Overhead of ML Exceptions Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-09-17 06:37:55 Functional programming Control flow Functional languages Procedural programming languages Logic in computer science Continuation-passing style Standard ML Continuation Exception handling Software engineering Computing Computer programming
784	Jeremy PennerSupervisor: Michael Zapp Add to Reading List Source URL: www.sporktania.com Language: English - Date: 2006-03-17 20:56:41 Procedural programming languages Functional languages Linux RTAI Standard ML RTLinux ML Type safety Scheduling Computing Software Real-time operating systems
785	Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 17:03:16 Technical communication Functional languages Acronyms SXML Scheme programming language BibTeX Scheme LaTeX TeX Computing Software Markup languages
786	Actor Induction and Meta-evaluation Add to Reading List Source URL: www.cypherpunks.to Language: English - Date: 2008-03-14 04:28:15 Lisp programming language Data types Models of computation Cons Functional programming Lisp Closure List Factorial Software engineering Computing Computer programming
787	Discrete Applied Mathematics–49 Annealed replication: a new heuristic for the maximum clique problem Immanuel M. Bomzea; ∗ , Marco Budinichb , Marcello Pelilloc , Claudio Rossic Add to Reading List Source URL: www.dais.unive.it Language: English - Date: 2002-12-03 08:21:13 NP-complete problems Functional languages Procedural programming languages Recursion Clique problem Mathematical optimization Clique Independent set Dynamical system Theoretical computer science Mathematics Applied mathematics
788	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
789	Type-Level Computations in Scala Stefan Zeiger Motivation •  Heterogeneous collection types (HList, HArray) val l1 = 42 :: "foo" :: Some(1.0) :: "bar" :: HNil Add to Reading List Source URL: slick.typesafe.com Language: English - Date: 2015-05-08 12:55:33 Functional languages Data types C++ Standard Library Boolean algebra Boolean data type Scala Sequence container Operator overloading Id Computing Software engineering Computer programming
790	A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2012-04-16 05:17:54 Functional languages Recursion Data types Type theory Procedural programming languages Standard ML OCaml Caml Module Software engineering Computer programming Computing

UPDATE